Formal Methods of Non-functional Conflict Resolution for Networked Software to Solve Traffic Travel Costs
نویسنده
چکیده
The products of Networked Software must meet customers' business needs in addition to features other than the functional requirements, non-functional characteristics. In order to ensure the system performance, reliability, maintainability and scalability, it is necessary that non-functional conflict digestion method to be optimized so that the higher the efficiency of the implementation of Networked Software. Based on the Non-functional Requirement Conflict Management Meta-model, takes formal description of the modeling elements, and gives the definition of requirement semantic conflict as the foundation of checking requirement conflict. Provide a resolution method for conflict elimination. As the example of calculation traffic travel costs service nonfunctional requirements in tourism travel field, it verifies the effectiveness of this method.
منابع مشابه
Genetic Algorithm-Based Optimization Approach for an Uncapacitated Single Allocation P-hub Center Problem with more realistic cost structure
A p-hub center network design problem is definition of some nodes as hubs and allocation of non-hub nodes to them wherein the maximum travel times between any pair of nodes is minimized. The distinctive feature of this study is proposing a new mathematical formulation for modeling costs in a p-hub center problem. Here, instead of considering costs as a linear function of distance, for the first...
متن کاملA neuro-fuzzy approach to vehicular traffic flow prediction for a metropolis in a developing country
Short-term prediction of traffic flow is central to alleviating congestion and controlling the negative impacts of environmental pollution resulting from vehicle emissions on both inter- and intra-urban highways. The strong need to monitor and control congestion time and costs for metropolis in developing countries has therefore motivated the current study. This paper establishes the applicatio...
متن کاملStrategic planning trips within the city emphasize goals over travel using traffic assignment model topsis and GIS (Case study: Kerman)
Strategic management, program coordinator, which is comprehensive and continuous link with the environment and your organization's top talent, the goal of the organization is managed in a proper implementation. Tuday One of the most important challenges facing large cities is transportation within the city. Lack of strategic planning for urban transport systems also joint ventures that replica...
متن کاملFormal Analysis of Air Traffic Management Systems: the Case of Conflict Resolution and Recovery
New air traffic management concepts distribute the responsibility for traffic separation among the several actors of the aerospace system. As a consequence, these concepts move the safety risk from human controllers to the onboard software and hardware systems. One example of the new kind of distributed systems is air traffic conflict detection and resolution. Traditional methods for safety ana...
متن کاملDifferent Network Performance Measures in a Multi-Objective Traffic Assignment Problem
Traffic assignment algorithms are used to determine possible use of paths between origin-destination pairs and predict traffic flow in network links. One of the main deficiencies of ordinary traffic assignment methods is that in most of them one measure (mostly travel time) is usually included in objective function and other effective performance measures in traffic assignment are not considere...
متن کامل